Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) di Hardin Thérèse; Rioboo Renaud - Bookdealer | I tuoi librai a domicilio
1.304.573,51€  incassati dalle librerie indipendenti
1.304.573,51€  incassati dalle librerie indipendenti
Cerca un libro o una libreria

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

11,00 €
Esaurito

I librai consigliano anche